Spintronics-compatible Approach to Solving Maximum-Satisfiability Problems with Probabilistic Computing, Invertible Logic, and Parallel Tempering

نویسندگان

چکیده

The search of hardware-compatible strategies for solving NP-hard combinatorial optimization problems (COPs) is an important challenge today s computing research because their wide range applications in real world problems. Here, we introduce unconventional scalable approach to face maximum satisfiability (Max-SAT) which combines probabilistic with p-bits, parallel tempering, and the concept invertible logic gates. We theoretically show spintronic implementation this based on a coupled set Landau-Lifshitz-Gilbert equations, showing potential path energy efficient very fast (p-bits exhibiting ns time scale switching) architecture solution COPs. algorithm benchmarked hard Max-SAT instances from 2016 competition (e.g., HG-4SAT-V150-C1350-1.cnf can be described 2851 p-bits), including weighted Max-Cut

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Solving satisfiability problems using reconfigurable computing

This paper reports on an innovative approach for solving satisfiability problems for propositional formulas in conjunctive normal form (SAT) by creating a logic circuit that is specialized to solve each problem instance on field programmable gate arrays (FPGAs). This approach has become feasible due to recent advances in reconfigurable computing and has opened up an exciting new research field ...

متن کامل

Solving disjunctive temporal problems with preferences using maximum satisfiability

The Disjunctive Temporal Problem (DTP) involves conjunction of DTP constraints, each DTP constraint being a disjunction of difference constraints of the form x − y ≤ c, where x and y range over a domain of interpretation, and c is a numeric constant. The DTP is recognized to be an expressive framework for constraints modeling and processing. The addition of preferences, in the form of weights a...

متن کامل

Solving Satisfiability Problems Using Logic Synthesis and Reconfigurable Hardware

This paper presents new results on an approach for solving satisfiability problems (SAT), i.e. creating a logic circuit that is specialized to solve each problem instance on Field Programmable Gate Arrays (FPGAs). This approach becomes feasible due to the recent advances in FPGAs and high-level logic synthesis. In this approach, each SAT problem is automatically analyzed and implemented on FPGA...

متن کامل

A new Approach for Solving Satisfiability Problems with Qualitative Preferences

The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previous papers, it has been shown that qualitative preferences on literals allow for capturing qualitative/quantitative preferences on literals/formulas; and that an optimal model for a satisfiability problems with qualita...

متن کامل

Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems

In this paper, we present efficient trap-escaping strategies in a search based on discrete Lagrange multipliers to solve difficult SAT problems. Although a basic discrete Lagrangian method (DLM) can solve most the satisfiable DIMACS SAT benchmarks efficiently, a few of the large benchmarks have eluded solutions by any local-search methods today. These difficult benchmarks generally have many tr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Physical review applied

سال: 2022

ISSN: ['2331-7043', '2331-7019']

DOI: https://doi.org/10.1103/physrevapplied.17.024052